$\forall$$i$:Id, $L$:(Knd List), $l$:IdLnk, ${\it tg}$:Id. @$i$: only $L$ sends on ($l$ with ${\it tg}$) $\in$ Dsys